random-seq(T;sz;eq;f)
== k:, g:(k), x:(k:(kT)).
== increasing(g;k)  frequency(derived-seq(f;<k,g>);x) ~ (1/exp(sz;k)) 

latex

---

clarification:

random-seq(T;sz;eq;f)
== k:, g:({0..k}), x:(k:({0..k}T)).
== increasing(g;k)  frequency(eq_seq(eq);derived-seq(f;<k,g>);x;1;exp(sz;k)) 

latex

Definitions	x:A. B(x), x:AB(x), , x:AB(x), {i..j}, P  Q, increasing(f;k), frequency(f;x) ~ (p/q), eq_seq(eq), derived-seq(f;s), <a,b>, #$n, exp(i;n)
FDL editor aliases	random-seq